71![Poster: Modeling of APT Attacks through Transforming Attack Scenarios into DEVS Models Jiyeon Kim Hyung-Jong Kim Poster: Modeling of APT Attacks through Transforming Attack Scenarios into DEVS Models Jiyeon Kim Hyung-Jong Kim](https://www.pdfsearch.io/img/f263bf1b99a1ebd52b4ac31cea51ff57.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2015-05-11 16:42:45
|
---|
72![On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively](https://www.pdfsearch.io/img/65ac79381addf136c333681e7c836d7d.jpg) | Add to Reading ListSource URL: alpha.uhasselt.beLanguage: English - Date: 2013-09-27 07:35:34
|
---|
73![CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics](https://www.pdfsearch.io/img/7c687185bade03d93c90b620096362eb.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2013-05-22 15:22:06
|
---|
74![How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1](https://www.pdfsearch.io/img/7b4c5b0b1be0441df1ba8accebe037be.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-06-27 10:56:07
|
---|
75![•i. I PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABlE COMPONENTS •i. I PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABlE COMPONENTS](https://www.pdfsearch.io/img/d1ed5efa5305b3a9bc2b2fa525c11248.jpg) | Add to Reading ListSource URL: arep.med.harvard.eduLanguage: English - Date: 2015-03-01 08:45:15
|
---|
76![Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin](https://www.pdfsearch.io/img/4e2814c73db370192a3a3ec1010cf93b.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2015-05-10 13:54:11
|
---|
77![Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by](https://www.pdfsearch.io/img/60fc27d48b231b5ea2dd550007411322.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2015-07-17 03:24:58
|
---|
78![ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file: ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file:](https://www.pdfsearch.io/img/c182b37093a7faa5f94e350a4c833bfa.jpg) | Add to Reading ListSource URL: neerc.ifmo.ruLanguage: English - Date: 2014-11-08 20:21:31
|
---|
79![BRICS RSLarsen et al.: An Interface Theory for Input/Output Automata BRICS Basic Research in Computer Science BRICS RSLarsen et al.: An Interface Theory for Input/Output Automata BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/5223d4f33d6516ebcdecb29a3630e507.jpg) | Add to Reading ListSource URL: www.brics.dk- Date: 2006-12-16 19:08:50
|
---|
80![Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory Gilles Dowek INRIA, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory Gilles Dowek INRIA, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France](https://www.pdfsearch.io/img/b32cc89e18bae84bceac23c402ba5f0e.jpg) | Add to Reading ListSource URL: who.rocq.inria.fr- Date: 2012-01-11 10:45:44
|
---|